Monitoring of the space system

We have performed monitoring of the space system that includes the Earth, the Moon, the Sun, and the GPS satellite group. We have discovered semi-diurnal and diurnal periodicities in the number of satellites detected as well as in the altitude, latitude and longitude by a GPS receiver. We have revealed tidal deformations related to changes in the Earth?s orientation with respect to the Moon and the Sun.     

基于空间信息的GE O卫星蓄电池充电优化控制

以提高GEO三轴卫星氢镍蓄电池充电效率为目的,首次将卫星、太阳的空间信息与卫星蓄电池充电结合起来,设计了基于空间信息的蓄电池最佳补充充电方法,建立了极值法预测蓄电池充电最佳时段的解算模型,并仿真验证了蓄电池最佳充电时刻与蓄电池壳温最低时刻的一致性。在轨应用表明,采用地面解算模型充电与星上自主充电相比,有效充电容量提高了5倍,解决了常规地面蓄电池补充充电不能满足星上能源需求的难题。     

基于学科链的卫星系统工程方法与实践

目前,绝大多数的卫星系统都是按照分系统来设计的,这种方法的弊端在于分系统内部重复的功能模块对整星而言是冗余的。因此,为了摒除按照分系统设计的卫星系统缺点以提高系统可靠性,我们设计了一个全新的卫星系统,其基于学科功能链。按照学科功能链,我们将卫星系统划分为控制学科链、结构热学科链、电子学学科链、载荷学科链,显著提高了卫星系统的性能、可靠性和功能密度,同时有效降低了研制成本,缩短了研制周期。最终,基于学科链的卫星系统已成功应用于北斗导航全球系统的首发卫星上。本文阐述了基于学科链设计的核心思想和四个主要的学科链内涵。     

《论读书》的功能文体分析

《论读书》自问世以来,广为流传,人们在欣赏译介的同时,也有人对它从词汇等方面进行过一些研究评论。本文试图运用功能语法理论对它的概念意义、人际意义、篇章意义进行一个较为全面的描写,以探求它的文体特色和深层内涵,并检验功能语法在文体分析应用中的实用性和可操作性。     

一种酚醛树脂模型化合物热解反应的密度泛函理论研究及实验验证

邻-邻位亚甲基桥是酚醛树脂主体结构单元之间的主要链接方式之一。采用Gaussian 09中的密度泛函理论B3LYP/6-311G(d,p)方法,对邻-邻位亚甲基桥型模型化合物邻位双羟苯基甲烷(2BHM)的热解反应机理进行了量子化学理论研究。设计了5种热解反应途径,对每种反应途径的反应物、产物和过渡态的结构进行了能量梯度全优化,并对过渡态进行了IRC验证。计算了各反应途径的标准动力学参数,最后进行了相关实验验证。计算结果表明Path3为2BHM的最优热解路径,对应的产物为苯酚和邻甲酚,所有路径的终产物中均有苯酚,且CO_2要比CO更容易生成。热解实验结果显示热解产物中苯酚含量最高,而CO并未出现。这说明计算结果与实验结果基本一致,同时也表明应用量子化学计算理论研究酚醛树脂的热解机理是一种有效的研究方法。     

多模型GGIW-GLMB算法跟踪机动群目标

针对多个机动群目标跟踪问题,提出了一种多模型伽马高斯逆威夏特-广义标签多贝努利（MM-GGIW-GLMB）算法。采用多模型算法对群目标进行运动建模,利用最适高斯（BFG）近似在预测阶段对多模型进行融合,减小了多模型算法的运算量,为进一步提高算法在目标机动阶段的跟踪性能,引入强跟踪滤波器（STF）对BFG算法得到的预测状态协方差进行修正。利用最优次模式分配（OSPA）距离及其一倍标准差和航迹标签正确率衡量算法对机动群目标的跟踪性能。仿真结果表明,本文算法能够提升对机动群目标的跟踪精度和稳定性。      

高级波束成形在旋转声源定位中的应用

为了使高级波束成形中的函数波束成形、压缩感知波束成形、正交波束成形在旋转声源定位中获得广泛应用,对3种高级波束成形在旋转声源定位中的应用进行了研究,从声源空间分辨率,动态范围以及声源功率积分上与传统旋转波束成形和DAMAS(deconvolution approach for the mapping of acoustic sources)反卷积作对比。仿真与实验结果表明:3种高级波束成形均可以应用到旋转声源定位中,并且均能显著提升旋转声源空间分辨率和动态范围以及拥有较高的计算效率。函数波束成形在低频段的空间分辨率低于DAMAS并且容易产生较高的声源功率积分误差。压缩感知波束成形整体性能与DAMAS相近,并且在低频段的空间分辨率比DAMAS有优势。正交波束成形在低频段容易产生声源定位位置误差,抗干扰能力较弱,并且声源功率积分整体低于DAMAS。      

SE(3)上航天器姿轨耦合固定时间容错控制

针对相对运动航天器姿轨一体化控制问题,考虑执行器故障和控制输入饱和的影响,提出了一种基于滑模的模糊自适应固定时间容错控制方法。首先,在李群SE（3）的框架下建立并推导相对运动航天器姿轨一体化误差动力学模型;其次,引入执行器故障和控制输入饱和的问题,采用双幂次快速终端滑模面,并结合模糊自适应方法设计了固定时间稳定的容错控制器,可以实现执行器故障情况下相对运动航天器的高精度快速跟踪控制;然后,运用Lyapunov方法证明了系统的稳定性,该控制器不仅能不依赖于系统的初始状态实现滑模趋近和到达阶段的固定时间稳定性,而且由于采用模糊逼近方法结合自适应更新策略可以实时高精度地估计系统的总扰动信息,因此可以达到快速高精度的容错控制目标;最后,对所提出的的控制方法进行数值仿真分析,结果验证了该方法的有效性和可行性。     

基于条件随机场的日语依存分析

日语依存关系解析是日语句子解析的一项基本技术。提出了一种基于条件随机场的日语依存分析方法,并充分使用了上下文信息和功能词出现信息作为新特征。在京都大学文本语料库上的实验结果表明,本文提出的日语依存分析方法是有效的,依存关系正确率、句子正确率分别达到了89.26%和45.90%。     

柔性航天器预设性能及时间自抗扰姿轨跟踪控制

针对柔性航天器的姿轨机动及跟踪控制问题,首先基于模块化的多体动力学建模方法在SE(3)框架下建立柔性航天器的姿-轨-结构一体化动力学模型,其中航天器的位置、姿态使用李群SE(3)上的指数坐标来描述,然后进一步推导其相对动力学模型。在此基础上提出一种基于预定义性能及时间的积分滑模跟踪控制方法,通过引入预定义时间扰动观测器估计柔性附件弹性振动及空间环境的扰动,并在控制律中加入扰动估计结果的前馈补偿项,通过Lyapunov理论证明了系统的闭环稳定性和跟踪误差收敛性。该算法通过对状态误差的实时监测来调整执行器的输出,使控制器在系统存在柔性振动及空间环境干扰的情况下仍可实现高精度的姿轨跟踪。将其应用至柔性航天器姿轨跟踪系统中,仿真结果表明了该控制方案的有效性和实用性。